/**
 * TP PSE - Pratique du Système 2011
 * Equipe: Eduardo Fernandes de Conto
 * 		   Luís Henrique Reinicke
 */

#include "cpu.h"
#include "debugger.h"
#include "console.h"
#include "stdio.h"
#include "swap_proc.h"
#include "int.h"

extern void regs(void);

void kernel_start(void)
{
	start_IT_treater(32, regs);
	mask_IRQ(0,0);
	config_clock();
	// code kernel_start processus (seance 3,4,5)
	init_structures();
	idle();

	/*
	//code kernel start interruption (seance 2)
	// initializations
	start_IT_treater(32, regs);

	unmask_IRQ0();
	config_clock();
	//unmask external interruptions
	sti();
	//waiting loop
	while(1){
		hlt();
	}
	*/
}


